%input macros (i.e. write your own macros file called MacroFile1.tex)
%\include{Macros/MacroFile1}

 \documentclass[oneside,14pt]{Classes/CUEDthesisPSnPDF}


\ifpdf
    \pdfinfo { /Title  (CUED PhD and MPhil Thesis Classes)
               /Creator (TeX)
               /Producer (pdfTeX)
               /Author (Harish Bhanderi harish.bhanderi@cantab.net)
               /CreationDate (D:20030101000000)  %format D:YYYYMMDDhhmmss
               /ModDate (D:20030815213532)
               /Subject (Writing a PhD thesis in LaTeX)
               /Keywords (PhD, Thesis)}
    \pdfcatalog { /PageMode (/UseOutlines)
                  /OpenAction (fitbh)  }
\fi

\title{Тема: реализация и исследование систем типизированного лямбда-исчисления 
с контролем изменений наиболее общего типа}


%\ifpdf
   \collegeordept{\textbf{ДИССЕРТАЦИЯ}\\{на соискание ученой степени}\\\textbf{МАГИСТРА}}
   \university{{\small УЧРЕЖДЕНИЕ РОССИЙСКОЙ АКАДЕМИИ НАУК}\\{\small САНКТ-ПЕТЕРБУРГСКИЙ АКАДЕМИЧЕСКИЙ   УНИВЕРСИТЕТ – НАУЧНО-ОБРАЗОВАТЕЛЬНЫЙ ЦЕНТР НАНОТЕХНОЛОГИЙ РАН}}
  \author{{\small Направление:\hfill 010600.68 –  Прикладные математика и физика}\\{\small Выполнил студент: \hfill Курьян К.П.}\\{\small Руководитель: \hfill Москвин Д. Н.}\\{\small Рецендент: \hfill Кирпичев Е.Р.}}
%  \cityofbirth{born in XYZ} % uncomment this if your university requires this
%  % If city of birth is required, also uncomment 2 sections in PhDthesisPSnPDF
%  % Just search for the "city" and you'll find them.
%  \collegeordept{\href{http://www.something.net}{Математических и информационных технологий}}
%  \university{\href{http://www.something.net}{Санкт-Петербургский Академический университет}}

  % The crest is a graphics file of the logo of your research institution.
  % Place it in ./0_frontmatter/figures and specify the width
  %\crest{\includegraphics[width=4cm]{logo}}
  %\crest{\includegraphics[width=30mm]{UnivShield}}
%\else
%  \author{Кристина Курьян}
%  \cityofbirth{born in XYZ}
%  \collegeordept{Математических и информационных технологий}
%  \university{Санкт-Петербургский Академический университет}
% insert below the file name that contains the crest in-place of 'UnivShield'
%  \crest{\includegraphics[bb = 0 0 292 336, width=30mm]{UnivShield}}
%\fi

%
% insert below the file name that contains the crest in-place of 'UnivShield'
% \crest{\IncludeGraphicsW{UnivShield}{40mm}{14 14 73 81}}
%
%\renewcommand{\submittedtext}{change the default text here if needed}
\degree{\small Санкт-Петербург}
\degreedate{\small 2012}

% turn of those nasty overfull and underfull hboxes
\hbadness=10000
\hfuzz=50pt

% Put all the style files you want in the directory StyleFiles and usepackage like this:
\usepackage{StyleFiles/watermark}

% Comment out the next line to get single spacing
\onehalfspacing

\begin{document}

%\language{english}

% A page with the abstract on including title and author etc may be
% required to be handed in separately. If this is not so, then comment
% the below 3 lines (between '\begin{abstractseparte}' and 
% 'end{abstractseparate}'), normally like a declaration ... needs some more
% work, mind as environment abstracts creates a new page!
% \begin{abstractseparate}
%   \input{Abstract/abstract}
% \end{abstractseparate}




% Using the watermark package which is in StyleFiles/
% and to remove DRAFT COPY ONLY appearing on the top of all pages comment out below line
%\watermark{DRAFT COPY ONLY}


\maketitle

%set the number of sectioning levels that get number and appear in the contents
\setcounter{secnumdepth}{3}
\setcounter{tocdepth}{3}

\frontmatter % book mode only
\pagenumbering{roman}
%\include{Dedication/dedication}
%\include{Acknowledgement/acknowledgement}
\include{Abstract/abstract}

\tableofcontents
\listoffigures
%\printnomenclature  %% Print the nomenclature
%\addcontentsline{toc}{chapter}{Nomenclature}

\mainmatter % book mode only
\include{Introduction/introduction}
\include{Chapter1/chapter1}
\include{Chapter2/chapter2}
\include{Chapter3/chapter3}

\backmatter % book mode only
\appendix
\include{Appendix1/appendix1}

%\bibliographystyle{plainnat}
%\bibliographystyle{Classes/CUEDbiblio}
%\bibliographystyle{Classes/jmb}
%\bibliographystyle{Classes/jmb} % bibliography style
%\renewcommand{\bibname}{References} % changes default name Bibliography to References
%\bibliography{References/references} % References file

\begin{thebibliography}{9}

\bibitem{lamport94}
  Х. Барендрегт,
  \emph{Лямбда-исчисление, его синтаксис и семантика}.
  Мир
  1985.

\bibitem{lamport93}
  Душкин Р.,
  \emph{Функциональное программирование на языке Haskell}.
  ДНК
  2009.

\bibitem{lamport92}
  Душкин Р.,
  \emph{Алгебраические типы данных и их использование в программировании}.
  Научно-практический журнал «Практика функционального программирования»
  2009.


\bibitem{lamport95}
  Джон Харрисон,
  \emph{Введение в функциональное программирование}.
  Курс лекций
  1996.


\bibitem{lamport96}
  Филд А.,
  \emph{Функциональное программирование}.
  Мир
  1993.


\bibitem{lamport97}
  Джонс С.,
  \emph{Хаскелл 98 язык и библиотеки}.
  Кэмбридж
  2003.

\bibitem{lamport98}
  О`Сиильвян Б.,
  \emph{Хаскелл}.
  Рейле Медиа
  2008.

\bibitem{lamport99}
  Липовака М.,
  \emph{Изучайте Хаскелл во имя добра}.
  2008.

\bibitem{lamport100}
  Х. Барендрегт,
  \emph{Лямбда исчисление с типами}.
  Оксфорд 
  1993.

\bibitem{lamport101}
  Jean-Louis Krivine,
  \emph{LAMBDA-CALCULUS}.
  pps.univ-paris-diderot 
  2009.

\bibitem{lamport102}
  Didier Le Botlan and Didier Rémy,
  \emph{Raising ML to the Power of System F}.
  INRIA-Rocquencourt
  2009.

\end{thebibliography}

\end{multicols}


\end{document}
